Nasa Phatamnxûu

2 NASA Aeronautics Blueprint NASA unveiled the Aeronautics

NASA’s Aeronautics Blueprint lays out a research agenda for the Agency’s aeronautics program. The word software appears only four times in this Blueprint, but the critical importance of safe and correct software to the fulfillment of the proposed research is evident on almost every page. Most of the technology solutions proposed to address challenges in aviation are softwaredependent technologi...

NASA NASA Object - Oriented Systems : An Annotated Bibliography

The USL/DBMS NASA/PC R&D Working Paper Series contains a collection of formal and informal reports representing results of PC-based research and development activities being conducted by the Center for Advanced Computer Studies of the University of Southwestern Louisiana pursuant t o the specifications of National Aeronautics and Space Administration Contract Number NASW-3846 and NASA Training ...

Nasa Technical Memorandum Nasa Tm-77435 Shearing Stability of Lubricants

NASA / CP - 2008 - 215309 Proceedings of the Sixth NASA Langley

We describe a runtime verification approach to increase the safety of IVHM systems by an integration of TEAMS models and MOP (Monitor-Oriented Programming). The TEAMS model is used to automatically extract relevant runtime information from the controlled system by means of events. This information is passed on-line to the MOP engine, allowing to verify complex temporal properties and to discove...

NASA Contractor Report

This paper describes preconditioned conjugate gradient methods for solving sparse symmetric and positive definite systems of linear equations. Necessary and sufficient conditions are given for when these preconditioners can be used and an analysis of their effectiveness is given. Efficient computer implementations of these methods are discussed and results on the CYBER 203 and the Finite Elemen...